Grothendieck category

In mathematics, a Grothendieck category (named after Alexander Grothendieck) is an AB5 category with a generator. In other words, it is an abelian category A admitting arbitrary coproducts, for which filtered colimits of exact sequences are exact and which possess a generator, i.e. an object E of A such that Hom(E, –) is a faithful functor from A to the category of sets. A dual concept is a coGrothendieck category.

References

External links